$\forall$$a$:$\mathbb{N}$, $b$:$\mathbb{N}^{+}$. divides($a$; $b$) $\Rightarrow$ ($a$ $\leq$ $b$)